(0
 (
  ("(x 3)" 3 21)
  ("(x 4)" 21 26)
  ("(x 5)" 26 32)
  ("(x 6)" 32 74)
  ("(x 5)" 74 79)
  ("(x 4)" 79 84)
  ("(x 3)" 84 89)
  ("(x 2)" 89 99)
  ("(x 1)" 99 110)
  ("(x 2)" 110 132)
  ("(x 3)" 132 184)
  ("(x 2)" 184 193)
  ("(x 1)" 193 209)
  ("(x down)" 4 56)
  ("(x stable)" 56 57)
  ("(x up)" 57 104)
  ("(x stable)" 104 106)
  ("(x down)" 106 135)
  ("(x stable)" 135 147)
  ("(x down)" 147 154)
  ("(x stable)" 154 156)
  ("(x down)" 156 168)
  ("(x stable)" 168 170)
  ("(x up)" 170 208)
  ("(x stable)" 208 209)
  ("(y 4)" 3 25)
  ("(y 3)" 25 33)
  ("(y 4)" 33 47)
  ("(y 5)" 47 57)
  ("(y 6)" 57 88)
  ("(y 5)" 88 96)
  ("(y 4)" 96 102)
  ("(y 3)" 102 107)
  ("(y 2)" 107 116)
  ("(y 1)" 116 165)
  ("(y 2)" 165 170)
  ("(y 3)" 170 175)
  ("(y 4)" 175 180)
  ("(y 5)" 180 203)
  ("(y 6)" 203 209)
  ("(y up)" 4 27)
  ("(y stable)" 27 32)
  ("(y down)" 32 72)
  ("(y stable)" 72 73)
  ("(y up)" 73 149)
  ("(y stable)" 149 153)
  ("(y down)" 153 209)
 ))
(1
 (
  ("(x 2)" 3 19)
  ("(x 3)" 19 29)
  ("(x 4)" 29 34)
  ("(x 5)" 34 42)
  ("(x 6)" 42 76)
  ("(x 5)" 76 80)
  ("(x 4)" 80 84)
  ("(x 3)" 84 89)
  ("(x 2)" 89 98)
  ("(x 1)" 98 106)
  ("(x 2)" 106 132)
  ("(x 3)" 132 152)
  ("(x 2)" 152 157)
  ("(x 1)" 157 170)
  ("(x stable)" 4 13)
  ("(x down)" 13 62)
  ("(x up)" 62 102)
  ("(x stable)" 102 103)
  ("(x down)" 103 119)
  ("(x stable)" 119 126)
  ("(x down)" 126 144)
  ("(x stable)" 144 145)
  ("(x up)" 145 170)
  ("(y 4)" 3 12)
  ("(y 3)" 12 49)
  ("(y 4)" 49 55)
  ("(y 5)" 55 60)
  ("(y 6)" 60 85)
  ("(y 5)" 85 90)
  ("(y 4)" 90 93)
  ("(y 3)" 93 97)
  ("(y 2)" 97 101)
  ("(y 1)" 101 136)
  ("(y 2)" 136 140)
  ("(y 3)" 140 143)
  ("(y 4)" 143 146)
  ("(y 5)" 146 153)
  ("(y 6)" 153 170)
  ("(y stable)" 4 11)
  ("(y up)" 11 32)
  ("(y stable)" 32 35)
  ("(y up)" 35 39)
  ("(y stable)" 39 42)
  ("(y down)" 42 73)
  ("(y up)" 73 122)
  ("(y stable)" 122 126)
  ("(y down)" 126 158)
  ("(y up)" 158 165)
  ("(y stable)" 165 169)
  ("(y down)" 169 170)
 ))
(2
 (
  ("(x 3)" 3 14)
  ("(x 4)" 14 21)
  ("(x 5)" 21 27)
  ("(x 6)" 27 58)
  ("(x 5)" 58 63)
  ("(x 4)" 63 67)
  ("(x 3)" 67 71)
  ("(x 2)" 71 77)
  ("(x 1)" 77 88)
  ("(x 2)" 88 108)
  ("(x 3)" 108 126)
  ("(x 2)" 126 136)
  ("(x 1)" 136 149)
  ("(x stable)" 4 5)
  ("(x down)" 5 45)
  ("(x up)" 45 82)
  ("(x stable)" 82 83)
  ("(x down)" 83 120)
  ("(x up)" 120 149)
  ("(y 4)" 3 20)
  ("(y 3)" 20 36)
  ("(y 4)" 36 42)
  ("(y 5)" 42 49)
  ("(y 6)" 49 62)
  ("(y 5)" 62 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 75)
  ("(y 2)" 75 79)
  ("(y 1)" 79 111)
  ("(y 2)" 111 115)
  ("(y 3)" 115 118)
  ("(y 4)" 118 122)
  ("(y 5)" 122 128)
  ("(y 6)" 128 149)
  ("(y stable)" 4 7)
  ("(y up)" 7 29)
  ("(y stable)" 29 31)
  ("(y down)" 31 55)
  ("(y stable)" 55 56)
  ("(y up)" 56 93)
  ("(y stable)" 93 96)
  ("(y down)" 96 138)
  ("(y stable)" 138 144)
  ("(y up)" 144 149)
 ))
(3
 (
  ("(x 3)" 3 17)
  ("(x 4)" 17 22)
  ("(x 5)" 22 27)
  ("(x 6)" 27 58)
  ("(x 5)" 58 63)
  ("(x 4)" 63 67)
  ("(x 3)" 67 71)
  ("(x 2)" 71 79)
  ("(x 1)" 79 88)
  ("(x 2)" 88 105)
  ("(x 3)" 105 120)
  ("(x 2)" 120 129)
  ("(x 1)" 129 140)
  ("(x down)" 4 43)
  ("(x stable)" 43 44)
  ("(x up)" 44 83)
  ("(x stable)" 83 84)
  ("(x down)" 84 110)
  ("(x stable)" 110 111)
  ("(x down)" 111 116)
  ("(x stable)" 116 117)
  ("(x up)" 117 140)
  ("(y 4)" 3 39)
  ("(y 5)" 39 47)
  ("(y 6)" 47 60)
  ("(y 5)" 60 67)
  ("(y 4)" 67 70)
  ("(y 3)" 70 74)
  ("(y 2)" 74 77)
  ("(y 1)" 77 107)
  ("(y 2)" 107 111)
  ("(y 3)" 111 114)
  ("(y 4)" 114 117)
  ("(y 5)" 117 123)
  ("(y 6)" 123 140)
  ("(y up)" 4 20)
  ("(y stable)" 20 26)
  ("(y down)" 26 54)
  ("(y stable)" 54 55)
  ("(y up)" 55 91)
  ("(y stable)" 91 92)
  ("(y down)" 92 131)
  ("(y stable)" 131 132)
  ("(y up)" 132 140)
 ))
(4
 (
  ("(x 4)" 3 10)
  ("(x 5)" 10 18)
  ("(x 6)" 18 49)
  ("(x 5)" 49 55)
  ("(x 4)" 55 60)
  ("(x 3)" 60 65)
  ("(x 2)" 65 75)
  ("(x 1)" 75 80)
  ("(x 2)" 80 107)
  ("(x 3)" 107 115)
  ("(x 4)" 115 123)
  ("(x 3)" 123 130)
  ("(x 2)" 130 135)
  ("(x 1)" 135 147)
  ("(x down)" 4 34)
  ("(x stable)" 34 35)
  ("(x up)" 35 78)
  ("(x down)" 78 119)
  ("(x up)" 119 147)
  ("(y 4)" 3 28)
  ("(y 5)" 28 39)
  ("(y 6)" 39 57)
  ("(y 5)" 57 64)
  ("(y 4)" 64 68)
  ("(y 3)" 68 71)
  ("(y 2)" 71 75)
  ("(y 1)" 75 111)
  ("(y 2)" 111 116)
  ("(y 3)" 116 119)
  ("(y 4)" 119 123)
  ("(y 5)" 123 134)
  ("(y 6)" 134 137)
  ("(y 5)" 137 147)
  ("(y up)" 4 16)
  ("(y stable)" 16 21)
  ("(y down)" 21 49)
  ("(y up)" 49 95)
  ("(y stable)" 95 101)
  ("(y down)" 101 136)
  ("(y up)" 136 147)
 ))
(5
 (
  ("(x 3)" 3 15)
  ("(x 4)" 15 20)
  ("(x 5)" 20 24)
  ("(x 6)" 24 55)
  ("(x 5)" 55 61)
  ("(x 4)" 61 65)
  ("(x 3)" 65 69)
  ("(x 2)" 69 76)
  ("(x 1)" 76 85)
  ("(x 2)" 85 105)
  ("(x 3)" 105 123)
  ("(x 2)" 123 133)
  ("(x 1)" 133 144)
  ("(x down)" 4 40)
  ("(x up)" 40 81)
  ("(x down)" 81 113)
  ("(x stable)" 113 114)
  ("(x up)" 114 144)
  ("(y 4)" 3 34)
  ("(y 5)" 34 44)
  ("(y 6)" 44 61)
  ("(y 5)" 61 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 75)
  ("(y 2)" 75 80)
  ("(y 1)" 80 113)
  ("(y 2)" 113 117)
  ("(y 3)" 117 120)
  ("(y 4)" 120 124)
  ("(y 5)" 124 134)
  ("(y 6)" 134 144)
  ("(y up)" 4 19)
  ("(y stable)" 19 20)
  ("(y down)" 20 53)
  ("(y stable)" 53 55)
  ("(y up)" 55 97)
  ("(y stable)" 97 101)
  ("(y down)" 101 144)
 ))
(6
 (
  ("(x 3)" 3 20)
  ("(x 4)" 20 24)
  ("(x 5)" 24 28)
  ("(x 6)" 28 56)
  ("(x 5)" 56 60)
  ("(x 4)" 60 64)
  ("(x 3)" 64 68)
  ("(x 2)" 68 78)
  ("(x 1)" 78 82)
  ("(x 2)" 82 102)
  ("(x 3)" 102 112)
  ("(x 4)" 112 127)
  ("(x 3)" 127 131)
  ("(x 2)" 131 135)
  ("(x 1)" 135 150)
  ("(x stable)" 4 8)
  ("(x down)" 8 42)
  ("(x stable)" 42 43)
  ("(x up)" 43 80)
  ("(x down)" 80 121)
  ("(x stable)" 121 122)
  ("(x up)" 122 150)
  ("(y 4)" 3 12)
  ("(y 3)" 12 31)
  ("(y 4)" 31 37)
  ("(y 5)" 37 44)
  ("(y 6)" 44 61)
  ("(y 5)" 61 67)
  ("(y 4)" 67 71)
  ("(y 3)" 71 75)
  ("(y 2)" 75 80)
  ("(y 1)" 80 114)
  ("(y 2)" 114 117)
  ("(y 3)" 117 120)
  ("(y 4)" 120 124)
  ("(y 5)" 124 131)
  ("(y 6)" 131 150)
  ("(y up)" 4 24)
  ("(y down)" 24 53)
  ("(y up)" 53 100)
  ("(y stable)" 100 102)
  ("(y down)" 102 142)
  ("(y stable)" 142 147)
  ("(y down)" 147 150)
 ))
(7
 (
  ("(x 4)" 3 11)
  ("(x 5)" 11 19)
  ("(x 6)" 19 53)
  ("(x 5)" 53 58)
  ("(x 4)" 58 63)
  ("(x 3)" 63 69)
  ("(x 2)" 69 79)
  ("(x 1)" 79 101)
  ("(x 2)" 101 122)
  ("(x 3)" 122 128)
  ("(x 4)" 128 148)
  ("(x 3)" 148 156)
  ("(x 2)" 156 161)
  ("(x 1)" 161 169)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 87)
  ("(x stable)" 87 89)
  ("(x down)" 89 105)
  ("(x stable)" 105 107)
  ("(x down)" 107 135)
  ("(x stable)" 135 137)
  ("(x up)" 137 169)
  ("(y 4)" 3 32)
  ("(y 5)" 32 42)
  ("(y 6)" 42 61)
  ("(y 5)" 61 71)
  ("(y 4)" 71 76)
  ("(y 3)" 76 80)
  ("(y 2)" 80 85)
  ("(y 1)" 85 126)
  ("(y 2)" 126 131)
  ("(y 3)" 131 136)
  ("(y 4)" 136 141)
  ("(y 5)" 141 151)
  ("(y 6)" 151 169)
  ("(y up)" 4 18)
  ("(y stable)" 18 21)
  ("(y down)" 21 53)
  ("(y up)" 53 106)
  ("(y stable)" 106 115)
  ("(y down)" 115 160)
  ("(y stable)" 160 162)
  ("(y up)" 162 169)
 ))
(8
 (
  ("(x 3)" 3 12)
  ("(x 4)" 12 22)
  ("(x 5)" 22 28)
  ("(x 6)" 28 59)
  ("(x 5)" 59 63)
  ("(x 4)" 63 67)
  ("(x 3)" 67 71)
  ("(x 2)" 71 80)
  ("(x 1)" 80 98)
  ("(x 2)" 98 109)
  ("(x 3)" 109 115)
  ("(x 4)" 115 131)
  ("(x 3)" 131 136)
  ("(x 2)" 136 142)
  ("(x 1)" 142 154)
  ("(x down)" 4 43)
  ("(x stable)" 43 44)
  ("(x up)" 44 87)
  ("(x stable)" 87 88)
  ("(x down)" 88 124)
  ("(x stable)" 124 125)
  ("(x up)" 125 154)
  ("(y 4)" 3 5)
  ("(y 3)" 5 33)
  ("(y 4)" 33 39)
  ("(y 5)" 39 48)
  ("(y 6)" 48 67)
  ("(y 5)" 67 73)
  ("(y 4)" 73 77)
  ("(y 3)" 77 80)
  ("(y 2)" 80 86)
  ("(y 1)" 86 117)
  ("(y 2)" 117 122)
  ("(y 3)" 122 125)
  ("(y 4)" 125 129)
  ("(y 5)" 129 137)
  ("(y 6)" 137 154)
  ("(y up)" 4 22)
  ("(y stable)" 22 25)
  ("(y down)" 25 59)
  ("(y up)" 59 103)
  ("(y stable)" 103 105)
  ("(y down)" 105 147)
  ("(y stable)" 147 148)
  ("(y up)" 148 154)
 ))
(9
 (
  ("(x 3)" 3 9)
  ("(x 4)" 9 16)
  ("(x 5)" 16 22)
  ("(x 6)" 22 48)
  ("(x 5)" 48 52)
  ("(x 4)" 52 56)
  ("(x 3)" 56 60)
  ("(x 2)" 60 95)
  ("(x 3)" 95 102)
  ("(x 4)" 102 114)
  ("(x 3)" 114 117)
  ("(x 2)" 117 120)
  ("(x 1)" 120 132)
  ("(x down)" 4 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 71)
  ("(x stable)" 71 73)
  ("(x down)" 73 108)
  ("(x stable)" 108 109)
  ("(x up)" 109 132)
  ("(y 3)" 3 22)
  ("(y 4)" 22 29)
  ("(y 5)" 29 35)
  ("(y 6)" 35 56)
  ("(y 5)" 56 61)
  ("(y 4)" 61 65)
  ("(y 3)" 65 68)
  ("(y 2)" 68 72)
  ("(y 1)" 72 103)
  ("(y 2)" 103 108)
  ("(y 3)" 108 111)
  ("(y 4)" 111 114)
  ("(y 5)" 114 121)
  ("(y 6)" 121 132)
  ("(y up)" 4 14)
  ("(y stable)" 14 16)
  ("(y down)" 16 46)
  ("(y up)" 46 90)
  ("(y stable)" 90 92)
  ("(y down)" 92 126)
  ("(y stable)" 126 130)
  ("(y up)" 130 132)
 ))
(10
 (
  ("(x 3)" 3 14)
  ("(x 4)" 14 20)
  ("(x 5)" 20 26)
  ("(x 6)" 26 55)
  ("(x 5)" 55 59)
  ("(x 4)" 59 63)
  ("(x 3)" 63 68)
  ("(x 2)" 68 107)
  ("(x 3)" 107 124)
  ("(x 2)" 124 129)
  ("(x 1)" 129 142)
  ("(x down)" 4 41)
  ("(x stable)" 41 42)
  ("(x up)" 42 79)
  ("(x stable)" 79 81)
  ("(x down)" 81 98)
  ("(x stable)" 98 103)
  ("(x down)" 103 117)
  ("(x stable)" 117 118)
  ("(x up)" 118 142)
  ("(y 4)" 3 7)
  ("(y 3)" 7 26)
  ("(y 4)" 26 35)
  ("(y 5)" 35 43)
  ("(y 6)" 43 64)
  ("(y 5)" 64 70)
  ("(y 4)" 70 74)
  ("(y 3)" 74 77)
  ("(y 2)" 77 81)
  ("(y 1)" 81 114)
  ("(y 2)" 114 117)
  ("(y 3)" 117 120)
  ("(y 4)" 120 124)
  ("(y 5)" 124 130)
  ("(y 6)" 130 142)
  ("(y up)" 4 18)
  ("(y stable)" 18 19)
  ("(y down)" 19 55)
  ("(y stable)" 55 56)
  ("(y up)" 56 95)
  ("(y stable)" 95 104)
  ("(y down)" 104 136)
  ("(y stable)" 136 137)
  ("(y up)" 137 142)
 ))
(11
 (
  ("(x 3)" 3 10)
  ("(x 4)" 10 17)
  ("(x 5)" 17 23)
  ("(x 6)" 23 52)
  ("(x 5)" 52 56)
  ("(x 4)" 56 60)
  ("(x 3)" 60 65)
  ("(x 2)" 65 74)
  ("(x 1)" 74 81)
  ("(x 2)" 81 101)
  ("(x 3)" 101 122)
  ("(x 2)" 122 128)
  ("(x 1)" 128 141)
  ("(x down)" 4 39)
  ("(x up)" 39 77)
  ("(x stable)" 77 79)
  ("(x down)" 79 96)
  ("(x stable)" 96 99)
  ("(x down)" 99 114)
  ("(x stable)" 114 115)
  ("(x up)" 115 141)
  ("(y 4)" 3 10)
  ("(y 3)" 10 22)
  ("(y 4)" 22 33)
  ("(y 5)" 33 41)
  ("(y 6)" 41 61)
  ("(y 5)" 61 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 75)
  ("(y 2)" 75 80)
  ("(y 1)" 80 112)
  ("(y 2)" 112 116)
  ("(y 3)" 116 118)
  ("(y 4)" 118 122)
  ("(y 5)" 122 129)
  ("(y 6)" 129 141)
  ("(y up)" 4 14)
  ("(y stable)" 14 19)
  ("(y down)" 19 51)
  ("(y up)" 51 99)
  ("(y down)" 99 135)
  ("(y up)" 135 141)
 ))
(12
 (
  ("(x 3)" 3 13)
  ("(x 4)" 13 18)
  ("(x 5)" 18 23)
  ("(x 6)" 23 53)
  ("(x 5)" 53 59)
  ("(x 4)" 59 63)
  ("(x 3)" 63 67)
  ("(x 2)" 67 74)
  ("(x 1)" 74 93)
  ("(x 2)" 93 107)
  ("(x 3)" 107 113)
  ("(x 4)" 113 127)
  ("(x 3)" 127 132)
  ("(x 2)" 132 138)
  ("(x 1)" 138 149)
  ("(x down)" 4 39)
  ("(x up)" 39 82)
  ("(x stable)" 82 84)
  ("(x down)" 84 119)
  ("(x stable)" 119 121)
  ("(x up)" 121 149)
  ("(y 4)" 3 15)
  ("(y 3)" 15 28)
  ("(y 4)" 28 37)
  ("(y 5)" 37 46)
  ("(y 6)" 46 63)
  ("(y 5)" 63 69)
  ("(y 4)" 69 72)
  ("(y 3)" 72 75)
  ("(y 2)" 75 80)
  ("(y 1)" 80 114)
  ("(y 2)" 114 118)
  ("(y 3)" 118 122)
  ("(y 4)" 122 126)
  ("(y 5)" 126 132)
  ("(y 6)" 132 149)
  ("(y up)" 4 21)
  ("(y stable)" 21 24)
  ("(y down)" 24 56)
  ("(y stable)" 56 57)
  ("(y up)" 57 100)
  ("(y down)" 100 143)
  ("(y up)" 143 149)
 ))
(13
 (
  ("(x 3)" 3 12)
  ("(x 4)" 12 18)
  ("(x 5)" 18 25)
  ("(x 6)" 25 57)
  ("(x 5)" 57 61)
  ("(x 4)" 61 65)
  ("(x 3)" 65 72)
  ("(x 2)" 72 86)
  ("(x 1)" 86 105)
  ("(x 2)" 105 120)
  ("(x 3)" 120 127)
  ("(x 4)" 127 143)
  ("(x 3)" 143 147)
  ("(x 2)" 147 151)
  ("(x 1)" 151 159)
  ("(x down)" 4 42)
  ("(x stable)" 42 44)
  ("(x up)" 44 92)
  ("(x stable)" 92 100)
  ("(x down)" 100 136)
  ("(x stable)" 136 137)
  ("(x up)" 137 159)
  ("(y 4)" 3 8)
  ("(y 3)" 8 26)
  ("(y 4)" 26 36)
  ("(y 5)" 36 45)
  ("(y 6)" 45 63)
  ("(y 5)" 63 73)
  ("(y 4)" 73 80)
  ("(y 3)" 80 85)
  ("(y 2)" 85 89)
  ("(y 1)" 89 125)
  ("(y 2)" 125 129)
  ("(y 3)" 129 132)
  ("(y 4)" 132 135)
  ("(y 5)" 135 142)
  ("(y 6)" 142 159)
  ("(y up)" 4 19)
  ("(y stable)" 19 20)
  ("(y down)" 20 54)
  ("(y stable)" 54 55)
  ("(y up)" 55 112)
  ("(y stable)" 112 113)
  ("(y down)" 113 150)
  ("(y stable)" 150 152)
  ("(y up)" 152 159)
 ))
(14
 (
  ("(x 3)" 3 14)
  ("(x 4)" 14 21)
  ("(x 5)" 21 28)
  ("(x 6)" 28 60)
  ("(x 5)" 60 66)
  ("(x 4)" 66 71)
  ("(x 3)" 71 77)
  ("(x 2)" 77 92)
  ("(x 1)" 92 100)
  ("(x 2)" 100 116)
  ("(x 3)" 116 123)
  ("(x 4)" 123 133)
  ("(x 3)" 133 138)
  ("(x 2)" 138 142)
  ("(x 1)" 142 155)
  ("(x down)" 4 46)
  ("(x up)" 46 96)
  ("(x stable)" 96 97)
  ("(x down)" 97 129)
  ("(x up)" 129 155)
  ("(y 4)" 3 21)
  ("(y 3)" 21 31)
  ("(y 4)" 31 43)
  ("(y 5)" 43 50)
  ("(y 6)" 50 70)
  ("(y 5)" 70 79)
  ("(y 4)" 79 84)
  ("(y 3)" 84 88)
  ("(y 2)" 88 91)
  ("(y 1)" 91 123)
  ("(y 2)" 123 127)
  ("(y 3)" 127 130)
  ("(y 4)" 130 134)
  ("(y 5)" 134 143)
  ("(y 6)" 143 154)
  ("(y 5)" 154 155)
  ("(y stable)" 4 7)
  ("(y up)" 7 25)
  ("(y stable)" 25 28)
  ("(y down)" 28 59)
  ("(y stable)" 59 61)
  ("(y up)" 61 108)
  ("(y stable)" 108 111)
  ("(y down)" 111 148)
  ("(y up)" 148 155)
 ))
(15
 (
  ("(x 3)" 3 10)
  ("(x 4)" 10 17)
  ("(x 5)" 17 24)
  ("(x 6)" 24 55)
  ("(x 5)" 55 60)
  ("(x 4)" 60 65)
  ("(x 3)" 65 72)
  ("(x 2)" 72 110)
  ("(x 3)" 110 129)
  ("(x 2)" 129 135)
  ("(x 1)" 135 150)
  ("(x down)" 4 41)
  ("(x stable)" 41 43)
  ("(x up)" 43 85)
  ("(x stable)" 85 87)
  ("(x down)" 87 99)
  ("(x stable)" 99 101)
  ("(x down)" 101 120)
  ("(x stable)" 120 121)
  ("(x up)" 121 150)
  ("(y 4)" 3 18)
  ("(y 3)" 18 25)
  ("(y 4)" 25 37)
  ("(y 5)" 37 46)
  ("(y 6)" 46 65)
  ("(y 5)" 65 71)
  ("(y 4)" 71 75)
  ("(y 3)" 75 78)
  ("(y 2)" 78 83)
  ("(y 1)" 83 116)
  ("(y 2)" 116 120)
  ("(y 3)" 120 123)
  ("(y 4)" 123 127)
  ("(y 5)" 127 136)
  ("(y 6)" 136 148)
  ("(y 5)" 148 150)
  ("(y up)" 4 21)
  ("(y stable)" 21 23)
  ("(y down)" 23 55)
  ("(y stable)" 55 57)
  ("(y up)" 57 103)
  ("(y stable)" 103 105)
  ("(y down)" 105 142)
  ("(y stable)" 142 143)
  ("(y up)" 143 150)
 ))
(16
 (
  ("(x 3)" 3 15)
  ("(x 4)" 15 21)
  ("(x 5)" 21 28)
  ("(x 6)" 28 59)
  ("(x 5)" 59 64)
  ("(x 4)" 64 68)
  ("(x 3)" 68 72)
  ("(x 2)" 72 105)
  ("(x 3)" 105 112)
  ("(x 4)" 112 123)
  ("(x 3)" 123 127)
  ("(x 2)" 127 132)
  ("(x 1)" 132 148)
  ("(x down)" 4 45)
  ("(x stable)" 45 46)
  ("(x up)" 46 83)
  ("(x stable)" 83 86)
  ("(x down)" 86 118)
  ("(x up)" 118 148)
  ("(y 4)" 3 41)
  ("(y 5)" 41 48)
  ("(y 6)" 48 69)
  ("(y 5)" 69 73)
  ("(y 4)" 73 76)
  ("(y 3)" 76 79)
  ("(y 2)" 79 83)
  ("(y 1)" 83 115)
  ("(y 2)" 115 119)
  ("(y 3)" 119 122)
  ("(y 4)" 122 126)
  ("(y 5)" 126 148)
  ("(y up)" 4 22)
  ("(y stable)" 22 30)
  ("(y down)" 30 59)
  ("(y stable)" 59 60)
  ("(y up)" 60 99)
  ("(y stable)" 99 103)
  ("(y down)" 103 136)
  ("(y stable)" 136 141)
  ("(y up)" 141 148)
 ))
(17
 (
  ("(x 3)" 3 11)
  ("(x 4)" 11 19)
  ("(x 5)" 19 26)
  ("(x 6)" 26 61)
  ("(x 5)" 61 67)
  ("(x 4)" 67 71)
  ("(x 3)" 71 76)
  ("(x 2)" 76 86)
  ("(x 1)" 86 90)
  ("(x 2)" 90 116)
  ("(x 3)" 116 127)
  ("(x 2)" 127 141)
  ("(x 1)" 141 157)
  ("(x down)" 4 44)
  ("(x stable)" 44 45)
  ("(x up)" 45 88)
  ("(x down)" 88 122)
  ("(x up)" 122 157)
  ("(y 3)" 3 32)
  ("(y 4)" 32 40)
  ("(y 5)" 40 48)
  ("(y 6)" 48 68)
  ("(y 5)" 68 75)
  ("(y 4)" 75 79)
  ("(y 3)" 79 81)
  ("(y 2)" 81 85)
  ("(y 1)" 85 120)
  ("(y 2)" 120 124)
  ("(y 3)" 124 127)
  ("(y 4)" 127 131)
  ("(y 5)" 131 139)
  ("(y 6)" 139 157)
  ("(y down)" 4 6)
  ("(y stable)" 6 10)
  ("(y up)" 10 17)
  ("(y stable)" 17 20)
  ("(y down)" 20 58)
  ("(y stable)" 58 59)
  ("(y up)" 59 105)
  ("(y stable)" 105 107)
  ("(y down)" 107 150)
  ("(y up)" 150 157)
 ))
(18
 (
  ("(x 4)" 3 22)
  ("(x 5)" 22 29)
  ("(x 6)" 29 65)
  ("(x 5)" 65 70)
  ("(x 4)" 70 76)
  ("(x 3)" 76 84)
  ("(x 2)" 84 92)
  ("(x 1)" 92 119)
  ("(x 2)" 119 130)
  ("(x 3)" 130 138)
  ("(x 4)" 138 148)
  ("(x 3)" 148 155)
  ("(x 2)" 155 162)
  ("(x 1)" 162 175)
  ("(x stable)" 4 10)
  ("(x up)" 10 13)
  ("(x stable)" 13 16)
  ("(x down)" 16 48)
  ("(x stable)" 48 49)
  ("(x up)" 49 101)
  ("(x stable)" 101 102)
  ("(x down)" 102 143)
  ("(x stable)" 143 145)
  ("(x up)" 145 171)
  ("(x stable)" 171 175)
  ("(y 4)" 3 16)
  ("(y 3)" 16 35)
  ("(y 4)" 35 43)
  ("(y 5)" 43 50)
  ("(y 6)" 50 76)
  ("(y 5)" 76 84)
  ("(y 4)" 84 88)
  ("(y 3)" 88 91)
  ("(y 2)" 91 96)
  ("(y 1)" 96 137)
  ("(y 2)" 137 142)
  ("(y 3)" 142 145)
  ("(y 4)" 145 148)
  ("(y 5)" 148 161)
  ("(y 6)" 161 175)
  ("(y stable)" 4 10)
  ("(y up)" 10 24)
  ("(y stable)" 24 30)
  ("(y down)" 30 62)
  ("(y up)" 62 115)
  ("(y stable)" 115 124)
  ("(y down)" 124 165)
  ("(y stable)" 165 174)
  ("(y up)" 174 175)
 ))
(19
 (
  ("(x 4)" 3 10)
  ("(x 5)" 10 20)
  ("(x 6)" 20 56)
  ("(x 5)" 56 61)
  ("(x 4)" 61 65)
  ("(x 3)" 65 70)
  ("(x 2)" 70 81)
  ("(x 1)" 81 94)
  ("(x 2)" 94 116)
  ("(x 3)" 116 138)
  ("(x 2)" 138 144)
  ("(x 1)" 144 155)
  ("(x down)" 4 37)
  ("(x stable)" 37 39)
  ("(x up)" 39 86)
  ("(x stable)" 86 87)
  ("(x down)" 87 96)
  ("(x stable)" 96 98)
  ("(x down)" 98 105)
  ("(x stable)" 105 106)
  ("(x down)" 106 129)
  ("(x stable)" 129 130)
  ("(x up)" 130 155)
  ("(y 3)" 3 24)
  ("(y 4)" 24 33)
  ("(y 5)" 33 43)
  ("(y 6)" 43 61)
  ("(y 5)" 61 71)
  ("(y 4)" 71 77)
  ("(y 3)" 77 80)
  ("(y 2)" 80 84)
  ("(y 1)" 84 120)
  ("(y 2)" 120 124)
  ("(y 3)" 124 127)
  ("(y 4)" 127 130)
  ("(y 5)" 130 137)
  ("(y 6)" 137 155)
  ("(y stable)" 4 6)
  ("(y up)" 6 13)
  ("(y stable)" 13 20)
  ("(y down)" 20 52)
  ("(y stable)" 52 54)
  ("(y up)" 54 104)
  ("(y stable)" 104 107)
  ("(y down)" 107 145)
  ("(y stable)" 145 146)
  ("(y up)" 146 155)
 ))
(20
 (
  ("(x 3)" 3 4)
  ("(x 4)" 4 17)
  ("(x 5)" 17 23)
  ("(x 6)" 23 57)
  ("(x 5)" 57 61)
  ("(x 4)" 61 65)
  ("(x 3)" 65 70)
  ("(x 2)" 70 78)
  ("(x 1)" 78 89)
  ("(x 2)" 89 108)
  ("(x 3)" 108 126)
  ("(x 2)" 126 135)
  ("(x 1)" 135 150)
  ("(x down)" 4 41)
  ("(x stable)" 41 42)
  ("(x up)" 42 82)
  ("(x stable)" 82 84)
  ("(x down)" 84 96)
  ("(x stable)" 96 99)
  ("(x down)" 99 116)
  ("(x stable)" 116 119)
  ("(x up)" 119 150)
  ("(y 4)" 3 17)
  ("(y 3)" 17 28)
  ("(y 4)" 28 37)
  ("(y 5)" 37 46)
  ("(y 6)" 46 64)
  ("(y 5)" 64 71)
  ("(y 4)" 71 74)
  ("(y 3)" 74 77)
  ("(y 2)" 77 81)
  ("(y 1)" 81 114)
  ("(y 2)" 114 118)
  ("(y 3)" 118 121)
  ("(y 4)" 121 125)
  ("(y 5)" 125 137)
  ("(y 6)" 137 150)
  ("(y up)" 4 22)
  ("(y stable)" 22 24)
  ("(y down)" 24 55)
  ("(y stable)" 55 57)
  ("(y up)" 57 94)
  ("(y stable)" 94 100)
  ("(y down)" 100 142)
  ("(y stable)" 142 150)
 ))
(21
 (
  ("(x 3)" 3 7)
  ("(x 4)" 7 18)
  ("(x 5)" 18 25)
  ("(x 6)" 25 58)
  ("(x 5)" 58 62)
  ("(x 4)" 62 66)
  ("(x 3)" 66 69)
  ("(x 2)" 69 78)
  ("(x 1)" 78 87)
  ("(x 2)" 87 107)
  ("(x 3)" 107 114)
  ("(x 4)" 114 128)
  ("(x 3)" 128 134)
  ("(x 2)" 134 142)
  ("(x 1)" 142 160)
  ("(x down)" 4 43)
  ("(x stable)" 43 44)
  ("(x up)" 44 81)
  ("(x stable)" 81 84)
  ("(x down)" 84 122)
  ("(x stable)" 122 123)
  ("(x up)" 123 157)
  ("(x stable)" 157 160)
  ("(y 4)" 3 20)
  ("(y 3)" 20 29)
  ("(y 4)" 29 40)
  ("(y 5)" 40 49)
  ("(y 6)" 49 66)
  ("(y 5)" 66 72)
  ("(y 4)" 72 76)
  ("(y 3)" 76 79)
  ("(y 2)" 79 84)
  ("(y 1)" 84 119)
  ("(y 2)" 119 123)
  ("(y 3)" 123 126)
  ("(y 4)" 126 129)
  ("(y 5)" 129 138)
  ("(y 6)" 138 152)
  ("(y 5)" 152 160)
  ("(y stable)" 4 5)
  ("(y up)" 5 22)
  ("(y stable)" 22 28)
  ("(y down)" 28 58)
  ("(y stable)" 58 60)
  ("(y up)" 60 101)
  ("(y stable)" 101 104)
  ("(y down)" 104 145)
  ("(y stable)" 145 146)
  ("(y up)" 146 159)
  ("(y stable)" 159 160)
 ))
(22
 (
  ("(x 4)" 3 17)
  ("(x 5)" 17 25)
  ("(x 6)" 25 58)
  ("(x 5)" 58 63)
  ("(x 4)" 63 66)
  ("(x 3)" 66 69)
  ("(x 2)" 69 74)
  ("(x 1)" 74 95)
  ("(x 2)" 95 106)
  ("(x 3)" 106 131)
  ("(x 2)" 131 146)
  ("(x 1)" 146 155)
  ("(x stable)" 4 6)
  ("(x down)" 6 43)
  ("(x up)" 43 82)
  ("(x stable)" 82 83)
  ("(x down)" 83 120)
  ("(x stable)" 120 121)
  ("(x up)" 121 155)
  ("(y 3)" 3 33)
  ("(y 4)" 33 39)
  ("(y 5)" 39 46)
  ("(y 6)" 46 66)
  ("(y 5)" 66 70)
  ("(y 4)" 70 73)
  ("(y 3)" 73 75)
  ("(y 2)" 75 78)
  ("(y 1)" 78 113)
  ("(y 2)" 113 118)
  ("(y 3)" 118 122)
  ("(y 4)" 122 127)
  ("(y 5)" 127 137)
  ("(y 6)" 137 155)
  ("(y stable)" 4 7)
  ("(y up)" 7 21)
  ("(y stable)" 21 24)
  ("(y down)" 24 58)
  ("(y up)" 58 96)
  ("(y stable)" 96 99)
  ("(y down)" 99 144)
  ("(y stable)" 144 154)
  ("(y down)" 154 155)
 ))
